ba610f114511dd248afc6be20e00821b29206b7f,src/main/java/com/jetbrains/jetpad/vclang/typechecking/visitor/CheckTypeVisitor.java,CheckTypeVisitor,visitSigma,#Abstract.SigmaExpression#Type#,828

Before Change


    DependentLink args = visitArguments(expr.getArguments());
    if (args == null || !args.hasNext()) return null;
    Expression sigmaExpr = ExpressionFactory.Sigma(args);
    return checkResult(expectedType, new Result(sigmaExpr, sigmaExpr.getType()), expr);
  }

  @Override

After Change


    if (args == null || !args.hasNext()) return null;
    Expression sigmaExpr = ExpressionFactory.Sigma(args);
    TypeMax type = sigmaExpr.getType();
    return type == null ? null : checkResult(expectedType, new Result(sigmaExpr, type), expr);
  }

  @Override